1. Basic model theory
پدیدآورنده : Doets, Kees
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
D62
2. Basic model theory /
پدیدآورنده : Kees Doets
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model theory
رده :
QA9
.
7
.
D64
1996
3. From logic to logic programming
پدیدآورنده : Doets, Kees
کتابخانه: (طهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
D64
1994
4. From logic to logic programming /
پدیدآورنده : Kees Doets
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming
رده :
QA76
.
63
.
D64
1994
